Theoretical computer science

Results: 9916



#Item
71SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany

SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany

Add to Reading List

Source URL: www.dcs.bbk.ac.uk

Language: English - Date: 2011-06-23 09:19:29
72Constrained Minimisation1 1 Here we investigate the different ways of writing a constrained minimisation problem. Just to remind you, minimising f (x) is equivalent to maximising −f (x). In a lagrange type formulation

Constrained Minimisation1 1 Here we investigate the different ways of writing a constrained minimisation problem. Just to remind you, minimising f (x) is equivalent to maximising −f (x). In a lagrange type formulation

Add to Reading List

Source URL: dl.dropboxusercontent.com

Language: English
73Scalable Computing: Practice and Experience Scientific International Journal for Parallel and Distributed Computing ISSN:

Scalable Computing: Practice and Experience Scientific International Journal for Parallel and Distributed Computing ISSN:

Add to Reading List

Source URL: www.scpe.org

Language: English - Date: 2016-08-02 01:58:21
74ALGORITHMS FOR SEMI-AUTOMATIC WEB SERVICE COMPOSITION: DATA MEDIATION AND SERVICE SUGGESTION by RUI WANG (Under the Direction of Eileen T. Kraemer and John A. Miller) ABSTRACT

ALGORITHMS FOR SEMI-AUTOMATIC WEB SERVICE COMPOSITION: DATA MEDIATION AND SERVICE SUGGESTION by RUI WANG (Under the Direction of Eileen T. Kraemer and John A. Miller) ABSTRACT

Add to Reading List

Source URL: mango.ctegd.uga.edu

Language: English - Date: 2013-11-20 03:56:57
75The Development of the AQ20 Learning System and Initial Experiments Guido Cervone Liviu Panait Ryszard Michalski* Machine Learning and Inference Laboratory, George Mason University, Fairfax,

The Development of the AQ20 Learning System and Initial Experiments Guido Cervone Liviu Panait Ryszard Michalski* Machine Learning and Inference Laboratory, George Mason University, Fairfax,

Add to Reading List

Source URL: cervone.psu.edu

Language: English - Date: 2015-11-18 09:12:46
76GROSS SUBSTITUTABILITY : AN ALGORITHMIC SURVEY RENATO PAES LEME∗ Abstract. The concept of gross substitute valuations was introduced by Kelso and Crawford as a sufficient conditions for the existence of Walrasian equil

GROSS SUBSTITUTABILITY : AN ALGORITHMIC SURVEY RENATO PAES LEME∗ Abstract. The concept of gross substitute valuations was introduced by Kelso and Crawford as a sufficient conditions for the existence of Walrasian equil

Add to Reading List

Source URL: www.renatoppl.com

Language: English - Date: 2013-11-28 12:54:41
77CS364A: Algorithmic Game Theory Lecture #17: No-Regret Dynamics∗ Tim Roughgarden† November 18, 2013 This lecture continues to study the questions introduced last time. Do strategic players reach an equilibrium of a g

CS364A: Algorithmic Game Theory Lecture #17: No-Regret Dynamics∗ Tim Roughgarden† November 18, 2013 This lecture continues to study the questions introduced last time. Do strategic players reach an equilibrium of a g

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2015-12-03 15:11:32
78Curriculum Vitae: Alexis C. Kaporis Contact information Address : Phone:

Curriculum Vitae: Alexis C. Kaporis Contact information Address : Phone:

Add to Reading List

Source URL: students.ceid.upatras.gr

Language: English - Date: 2006-02-09 03:56:19
79Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries Computer Science Dept. Trinity College Dublin College Green, Dublin 2

Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries Computer Science Dept. Trinity College Dublin College Green, Dublin 2

Add to Reading List

Source URL: www.edsko.net

Language: English - Date: 2016-08-23 03:13:56
80Curriculum and Course Syllabi for a High-School Program in Computer Science1 Judith Gal-Ezer2 David Harel3

Curriculum and Course Syllabi for a High-School Program in Computer Science1 Judith Gal-Ezer2 David Harel3

Add to Reading List

Source URL: www.openu.ac.il

Language: English - Date: 2004-09-27 01:19:29